/*
 * Copyright (c) 2006-2021, RT-Thread Development Team
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * Change Logs:
 * Date           Author       Notes
 * 2008-07-29     Bernard      first version from QiuYi implementation
 */

#include <rtthread.h>

void rt_hw_show_memory(rt_uint32_t addr, rt_uint32_t size) {
    int i = 0, j = 0;

    RT_ASSERT(addr);

    addr = addr & ~0xF;
    size = 4 * ((size + 3) / 4);

    while (i < size) {
        rt_kprintf("0x%08x: ", addr);

        for (j = 0; j < 4; j++) {
            rt_kprintf("0x%08x  ", *(rt_uint32_t*)addr);

            addr += 4;
            i++;
        }

        rt_kprintf("\n");
    }

    return;
}
